Empirical software metrics for benchmarking of verification tools

Empirical software metrics for benchmarking of verification tools

Program Variables. Bit-precision or mathematical integers? ints used as indices, bit-masks or in arithmetic? Dynamic data structures? Arrays? Program Loops. Reducible loops or goto programs? FOR-loops or advanced ranking functions? Widening, loop acceleration, termination analysis, or loop unrolling? Control Flow. Recursion? Function pointers? Multithreading? Straight-line code or complex branc...

An Empirical Verification of Software Artifacts Using Software Metrics

In model-driven development, design understandability is very important to maintain software systems. Software developers use the design models in their endeavor to understand and maintain the final product. Typically, software developers expect consistency between design and implementation artifacts of a software system. However, software systems may deviate from design. Software verification ...

Quality Metrics for Benchmarking Sequences Comparison Tools

Benchmarking Software Tools for Mechatronic Applications

Mechatronic systems such as the anti-lock braking system, the powertrain control system, and even domestic items such as a microwave oven are designed such that there is a seamless interaction between the electronic components and the mechanical components that make up these systems. Use of software tools in simulating the behavior of such systems is an important step in their product developme...

Comparison of Software Metrics Tools for .net

In this paper we will compare tools for calculating software metrics. We will examine tools that are available free on the internet and capable of calculating software metrics for C# language. The purpose of this paper is to compare the calculations of software metrics and determine if the tools are providing the same results. We would like to discover if choosing a different tool can provide d...